机译:谓词的自动测试生成[软件测试]
机译:使用基于程序的搜索运算符,针对字符串数据的基于搜索的软件测试数据生成
机译:谓词约束求解技术自动生成测试数据的方法
机译:基于字符串的基于谓词的自动软件测试数据生成
机译:自动生成指令序列,以对处理器和片上系统进行基于软件的自检。
机译:使用Microsoft Pex在开源C#项目上的White-Box软件测试生成:数据集
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。
机译:基于环境模型的无功软件系统自动测试用例生成